#include <unistd.h>
#include <stdio.h>
#include <string.h>


int main() {
  write(1, "Hello World! Lan feng!\n", strlen("Hello World! Lan feng!\n"));
  int i = 2;
  volatile int j = 0;
  
  while (1) {
    j ++;
    if (j == 10000) {
      // write(1, "Hello World! Lan feng!\n", strlen("Hello World! Lan feng!\n"));
      printf("Hello World from Navy-apps for the %dth time!\n", i++);
      j = 0;
    }
  }
  return 0;
}
